On the Efficiency of a Compound Poisson Stopping Rule for Mixed Strategy Testing
نویسنده
چکیده
When testing software, testers rarely use only one technique to generate tests that, they hope, will fulfill their testing criteria. Malaiya showed that testers switch strategies when testing yield saturates. We present and evaluate a stopping rule that can be used to determine when it is time to switch to a different testing technique, because the current one is not likely to increase criteria fulfilment. We demonstrate use of the stopping rule on a program that is being tested for branch coverage with five different testing techniques. We compare savings and accuracy of stopping both with and without using the stopping rule.
منابع مشابه
An empirical Bayesian stopping rule in testing and verification of behavioral models
Software stopping rules are tools to effectively minimize the time and cost involved in software testing. The algorithms serve to guide the testing process such that if a certain level of branch or fault (or failure) coverage is obtained without the expectation of further significant coverage, then the testing strategy can be stopped or changed to accommodate further, more advanced testing stra...
متن کاملThe Comparison of the shares of stopping power in a soft tissue-equivalent material
Introduction: Proton therapy is a type of radiation treatment that it uses protons to treat cancer. Because of the protons’ unique ability to distribute the radiation dose more directly to the tumor, it minimizes the damage to nearby healthy tissues. The rate of energy loss by the ion in the target is called stopping power. The total stopping power is sum nuclear and electroni...
متن کاملMultisource Bayesian sequential binary hypothesis testing problem
We consider the problem of testing two simple hypotheses about unknown local characteristics of several independent Brownian motions and compound Poisson processes. All of the processes may be observed simultaneously as long as desired before a final choice between hypotheses is made. The objective is to find a decision rule that identifies the correct hypothesis and strikes the optimal balance...
متن کاملAchieving the Quality of Verification for Behavioral Models with Minimum Effort
When designing a system in the behavioral level, one of the most important steps to be taken is verifying its functionality before it is released to the logic/PD design phase. One may consider behavioral models as oracles in industries to test against when the final chip is produced. In this work, we use branch coverage as a measure for the quality of verifying/testing behavioral models. Minimu...
متن کاملدربارۀ شناسایی بیزیِ دنبالهای نقطۀ تغییر
The problems of sequential change-point have several important applications in quality control, signal processing, and failure detection in industry and finance and signal detection. We discuss a Bayesian approach in the context of statistical process control: at an unknown time τ, the process behavior changes and the distribution of the data changes from p0 to p1. Two cases are consi...
متن کامل